Écologie du paysage. Concepts, méthodes et applications

Publications Du Groupe « Vérification Et Méthodes Formelles »

titative model-checking of one-clock timed automata under probabilistic semantics. [4] Bernard Boigelot and Julien Brusten. A generalization of cobham's theorem to automata over real numbers.

Recensement et description des mots composés - méthodes et applications

Principes et méthodes pour l'intégration et l'optimisation du pilotage des systèmes de production et des chaînes logistiques

Étude de quelques méthodes de calcul du polynôme caractéristique et des valeurs propres

Approche algébrique du typage d'un langage à la ML avec objets, sous-typage et multi-méthodes

class ObjetColoré { c : Couleur; } ObjetColoré·c : ObjetColoré 7→ Couleur class Point { x : int; y : int; } Point·x : Point 7→ int Point·y : Point 7→ int class PointColoré v Point,ObjetColoré {} PointColoré·x : PointColoré 7→ int PointColoré·y : PointColoré 7→ int PointColoré·c : PointColoré 7→ Couleur class List〈α⊕〉 {} class Cons〈α⊕〉 v List { head : α; tail : C List〈α〉; } ∀t,Cons·head : Cons〈t...